<?
include("tools.php");

processNotification();

?>